Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·23h
🧠LLM Inference
Unlocking Efficiency and Performance with Simultaneous Multi-Threading
semiwiki.com·10h
🚀Async Optimization
On SP1’s Precompiles
mycelias.xyz·23h
⚙️Language Runtimes
How the Lean language brings math to coding and coding to math
amazon.science·8h·
Discuss: Hacker News
🧮SMT Solvers
Hessian analysis with JAX: a platform-agnostic, high-performance approach
lesswrong.com·22h
🕯️Candle
Hardware Has Changed
buttondown.com·7h·
Discuss: Hacker News
🖥GPUs
LeetCode #70: Climbing Stairs
anmoltomer.bearblog.dev·23h
🧮SMT Solvers
Learning About Threads: An Essential Guide for Developers
hackernoon.com·15h
⚙️Mechanical Sympathy
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·14h·
Discuss: Hacker News
🧠LLM Inference
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·23h
🧠LLM Inference
Building, Fast and Slow
idiallo.com·19h
👨‍💻Software development practices
Announcements for AI Hypercomputer: The latest infrastructure news for ML practitioners
cloud.google.com·11h
🖥GPUs
Performance Analytics
blog.jacobstechtavern.com·12h
⚡Systems Performance
[$] Python performance myths and fairy tales
lwn.net·13h
🏹Apache Arrow
Why Computer Science Is No Good, Redux
cacm.acm.org·9h
🌐Distributed systems
Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
techxplore.com·13h
📋MCP
gccrs July 2025 Monthly report
rust-gcc.github.io·17h
🦀Rust
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·4h·
Discuss: Hacker News
🪄Prompt Engineering
Encapsulated Collaboration: Using Closures to Extend Class Behavior Without Violating Interface Boundaries [OC]
medium.com·13h·
Discuss: r/programming
🔌API Design Theory
Predicting stem cell-derived organoid quality with machine learning
phys.org·13h
🔬Chip Fabrication